Framework for quiescence management in support of reconfigurable multi-threaded component-based systems
نویسندگان
چکیده
In component-based software systems the basic building block is the component, and applications are built as component compositions. ‘Dynamic reconfiguration’ in such systems is defined as the ability to replace individual components at runtime, or to change the compositional topology by adding/removing components and/or changing the patterns of their interconnection. A ‘quiescence service’ supports dynamic reconfiguration by pushing a system into a stable state in which such changes can be safely made. It is thus a key enabler of dynamic reconfiguration. In this paper we present the design of a quiescence service which we have implemented for our OpenCOM component-based programming platform. We argue that our design shows significant advances over the state of the art in quiescence support for component-based systems. In particular, it minimises programmer overhead and system disruption, and efficiently supports a large class of systems without imposing architectural
منابع مشابه
A New multi attribute Decision making Reliability Centered Maintenance in Power Transmission Systems
The present context of the electric industry, characterized by competitive markets, privatization, and regulatory of technical requirements forces the power utilities to optimize their asset management practices and develop the requisite decision plans techno-economically. Practically approaching, this paper devises a new support tool based on a multiattribute decision making (MADM) framework i...
متن کاملThe Governance of National Community Health Worker Programmes in Low- and Middle-Income Countries: An Empirically Based Framework of Governance Principles, Purposes and Tasks
Background National community health worker (CHW) programmes are increasingly regarded as an integral component of primary healthcare (PHC) in low- and middle-income countries (LMICs). At the interface of the formal health system and communities, CHW programmes evolve in context specific ways, with unique cadres and a variety of vertical and horizontal relationships. These programmes need...
متن کاملFault diagnosis in a distillation column using a support vector machine based classifier
Fault diagnosis has always been an essential aspect of control system design. This is necessary due to the growing demand for increased performance and safety of industrial systems is discussed. Support vector machine classifier is a new technique based on statistical learning theory and is designed to reduce structural bias. Support vector machine classification in many applications in v...
متن کاملRole of Social Support in Self-management of Health
Social support is the physical and emotional comfort given to someone in times of need or crises and it is especially important for maintaining good physical and mental health. Despite the contribution of intelligent technological devices, which have led to the availability of various types of social support systems, the latter are still not widely known to many. These support systems are curre...
متن کاملRVMT-BIP: A Tool for the Runtime Verification of Multi-Threaded Component-Based Systems
RVMT-BIP is a tool for the runtime verification of multi-threaded componentbased systems described in the Behavior, Interaction, Priority (BIP) framework against linear-time and logic-independent properties. RVMT-BIP implements rigorous semantics-preserving transformations of BIP systems to instrument and inject a sound and concurrency-preserving global-state reconstructor for on-the-fly monito...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IET Software
دوره 2 شماره
صفحات -
تاریخ انتشار 2008